Fast Hypothetical Reasoning by Parallel Processing
نویسندگان
چکیده
Hypothetical reasoning is an important framework for knowledge-based systems because it is theoretically founded and useful for many practical problems. Since the inference time of hypothetical reasoning grows exponentially with respect to problem size, its ineÆciency becomes the most crucial problem when applied to
منابع مشابه
Fast hypothetical reasoning system using inference-path network
While it i s a very useful knowledge-processing framework applicable to many practical problems, the most crucial problem of logic-based hypothetical reasoning system is its slow inference speed. This paper describes a fast hypothetical reasoning system named KICKSHOTGAN, which avoids inefficient backtracking by forming a compiled inference-path network followed by the forward synthesis of nece...
متن کاملAn efficient hypothetical reasoning system for predicate-logic knowledge-base
A hypothetical reasoning system & an important framework in the development of advanced knowledge-based systems. It can be effectively applied to many practical problems including model-based diagnosis, and designs. However, the inference speed of its PROLOG-based implementation is slow, and this is particularly because of inefficient backtracking. In order to overcome this problem, a fast hypo...
متن کاملA fast wallace-based parallel multiplier in quantum-dot cellular automata
Physical limitations of Complementary Metal-Oxide-Semiconductors (CMOS) technology at nanoscale and high cost of lithography have provided the platform for creating Quantum-dot Cellular Automata (QCA)-based hardware. The QCA is a new technology that promises smaller, cheaper and faster electronic circuits, and has been regarded as an effective solution for scalability problems in CMOS technolog...
متن کاملA fast wallace-based parallel multiplier in quantum-dot cellular automata
Physical limitations of Complementary Metal-Oxide-Semiconductors (CMOS) technology at nanoscale and high cost of lithography have provided the platform for creating Quantum-dot Cellular Automata (QCA)-based hardware. The QCA is a new technology that promises smaller, cheaper and faster electronic circuits, and has been regarded as an effective solution for scalability problems in CMOS technolog...
متن کاملFast Cellular Automata Implementation on Graphic Processor Unit (GPU) for Salt and Pepper Noise Removal
Noise removal operation is commonly applied as pre-processing step before subsequent image processing tasks due to the occurrence of noise during acquisition or transmission process. A common problem in imaging systems by using CMOS or CCD sensors is appearance of the salt and pepper noise. This paper presents Cellular Automata (CA) framework for noise removal of distorted image by the salt an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000